доказуемость
41Паскалева геометрия — или геометрия с коммутативным умножением геометрия плоскости, построенной над полем. Название этой геометрии связано с тем, что в ней справедлива теорема Паппа, которая является частным случаем теоремы Паскаля. Паскалева геометрия плоскости может …
42обоснованность — аргументированность, мотивированность, убедительность, вескость, доказанность; небезосновательность, логичность, продуманность, правильность, действительность, основательность, резонность, рациональность, закономерность, законность, понятность,… …
43ЭРБРАН — ЭРБРАН (Herbrand) Жак (12 февраля 1908, Париж27 июля 1931, Изер, Франция) французский логик и математик; окончил Высшую Нормальную школу (1928), защитил докторскую степень с отличием (1930); как степендиат рокфеллеровского фонда последние два …
44ДИАЛЕКТИКА — ДИАЛЕКТИКА (ἡ διαλεκτικὴ sc. τέχνη, от глаг. διαλέγομαι разговаривать, беседовать, рассуждать), искусство вести беседу, спор; в различных контекстах термин диалектика использовался как синоним 1) риторики, 2) логики, 3) философии. Софисты …
45логика отношений — ЛОГИКА ОТНОШЕНИЙ раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Хотя Л. о. частный случай логики предикатов, а именно многочленных, или многоместных (и местных, и …
46философская логика — ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики. На самом деле термин «Ф.… …
47эпистемическая логика — ЭПИСТЕМИЧЕСКАЯ ЛОГИКА ветвь модальной логики. В широком понимании ее задачей (как и доксастической логики при таком же понимании) является анализ сложно подчиненных предложений с придаточными, вводимыми союзом «что» и глаголами главного… …
48ВОЗРОЖДЕНИЕ — эпоха в истории итал. (а под ее воздействием и европ.) культуры 14 16 вв., ознаменовавшая переход от средневековья к Новому времени. Будучи радик. переворотом во всех областях культуры, В. оказало значит, воздействие и на эволюцию религ. сознания …
49доказывание — ДОКАЗЫВАНИЕ, аргументирование, мотивация, мотивировка, обоснование, книжн. фундирование ДОКАЗАТЕЛЬСТВО, аргумент, аргументация, мотивировка, обоснование ДОКАЗАТЕЛЬНОСТЬ, доказуемость, мотивированность ДОКАЗУЕМЫЙ, доказательный,… …
50доказуемый — ая, ое; зу/ем, а, о. см. тж. доказуемость Такой, который может быть доказан. Д ое положение …
